﻿% Dạng 4.2.2 có phải {con vật} có nơi sống/Màu sắc/Thức ăn (Thực vật , động vật, tạp)/Kẻ thù ( Động vật ăn thịt)/
%/Con mồi/Đặc điểm phân biệt là {thông tin} ?


cau_hoi(lambda(X,TT)) --> tu_nghi_van1 , thong_tin(TT) , dau_hoi.

thong_tin(TT) --> doi_tuong_thong_tin1(DTTT1) , dong_tu , thuoc_tinh(TT) , tu_la , doi_tuong_thong_tin2(DTTT2),tu_nghi_van2 ,{arg(1,TT,DTTT1),arg(2,TT,DTTT2)}.

tu_nghi_van1 --> [có,phải].

doi_tuong_thong_tin1(X) --> [X].

doi_tuong_thong_tin1(X) --> [con,X].

dong_tu --> [có].

thuoc_tinh(nơi_sống(X,Y)) --> [nơi,sống].

thuoc_tinh(màu_sắc(X,Y)) --> [màu].

thuoc_tinh(màu_sắc(X,Y)) --> [màu,sắc].

thuoc_tinh(thức_ăn(X,Y)) --> [thức,ăn].

thuoc_tinh(con_mồi(X,Y)) --> [con,mồi].

thuoc_tinh(kẻ_thù(X,Y)) --> [kẻ,thù].

thuoc_tinh(lối_sống(X,Y)) --> [lối,sống].

thuoc_tinh(lối_sống(X,Y)) --> [tập,quán,sống].

thuoc_tinh(lối_sống(X,Y)) --> [tập,quán].

thuoc_tinh(đặc_điểm_phân_biệt(X,Y)) --> [đặc,điểm,phân,biệt].

thuoc_tinh(đặc_điểm_phân_biệt(X,Y)) --> [đặc,điểm].

tu_la --> [là].

doi_tuong_thong_tin2(X) --> [X].

tu_nghi_van2 --> [không].

dau_hoi --> [?].